🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·21h·
Discuss: Hacker News
🧮Programming Language Theory
Many hard LeetCode problems are easy constraint problems
dev.to·1d·
Discuss: DEV
🎯Constraint Programming
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·2d·
Discuss: Hacker News
🧮Programming Language Theory
K2-Think: A Parameter-Efficient Reasoning System
arxiviq.substack.com·1d·
Discuss: Substack
🎲Probabilistic Programming
The Capability-Tractability Tradeoff (2023)
buttondown.com·1d·
Discuss: Hacker News
🧮Programming Language Theory
Local LLaMA Users: The 0~1000 Stars Semantic Firewall, Now In Human Words
reddit.com·12h·
Discuss: r/LocalLLaMA
🧩Theorem Proving
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·2d
⚙Functional Programming
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.com·1d
🔢Mathematical Logic
From Legal Documents to Knowledge Graphs
neo4j.com·17h·
Discuss: Hacker News
🔗Parser Combinators
An introduction to program synthesis
mchav.github.io·2d·
Discuss: Hacker News, r/programming
🔧Compiler Design
CRT-structured Collatz blocks
researchgate.net·1d·
Discuss: r/mathematics
🔐Cryptography
Test state, not interactions
rednafi.com·3h
🔍Static Analysis
One... Two... Testing
dev.to·17h·
Discuss: DEV
⚙Functional Programming
Private LLM Inference: Democratizing AI with Ciphertext Computations
dev.to·3h·
Discuss: DEV
🔐Cryptography
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·3d
✅Formal Verification
Computing Pairings on Elliptic Curves with Embedding Degree Two via Biextensions
eprint.iacr.org·1d
✅Formal Verification
Lessons from Studying Two-Hop Latent Reasoning
lesswrong.com·2d
🔗Parser Combinators
From ASTs to RakuAST to ASTQuery
github.com·3h·
Discuss: DEV
📝Lisp
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·3d·
Discuss: Hacker News
🧮Programming Language Theory
Issue 489
haskellweekly.news·2d·
Discuss: Hacker News
⚙Functional Programming